\input{Header}

\begin{document}

	\include{sec/Titel}
	\include{sec/Verzeichnisse}

	\part{Lectures}
	\include{sec/Set_Theory}
	\include{sec/Relations}
	\include{sec/Logic}
	\include{sec/First_Order_Logic}
	\include{sec/Hoare_Logic}
	\include{sec/Z_Notation}

	\part{Exercises}
	\include{sec/Uebung01}
	\include{sec/Uebung02}
	\include{sec/Uebung03}
	\include{sec/Uebung04}
	\include{sec/Uebung05}
	\include{sec/Uebung06}
	\include{sec/Uebung07}
	\include{sec/Uebung08}
	\include{sec/Uebung09}
	\include{sec/Uebung10}
	\include{sec/Uebung11}

	\appendix
	\part{Appendix}
	\include{appendix/appendix}
	
\end{document}
